Cognitive and computer models of physical systems

نویسندگان

  • S. Chandra
  • David I. Blockley
چکیده

Models of physical systems range from those of initial individual cognition to mathematical representations on a computer which are accepted as the developed final models. It is conjectured that a formalization of the qualitative cognitive models will help us to understand how they are formed and will eventually help us to produce better computer models. The structure of these models would provide qualitative descriptions and explanations of behaviour which could be assimilated by non-specialists. It is argued that cognitive models should be produced with an awareness of the possible form of the final computer model. To illustrate this, a case study of the development of the cognitive and computer models of a naturally parallel physical process is presented. This early work is part of the broader goal of producing an appropriate computing environment through which various models and techniques are combined for producing explanations. A procedure for developing models from the primitive stage to computer implementation is suggested. Theories in cognitive science and research on mental models are briefly discussed.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Modelsaz: An Object-Oriented Computer-Aided Modeling Environment

Modeling and simulation of processing plants are widely used in industry. Construction of a mathematical model for a plant is a time-consuming and error-prone task. In light of extensive advancements in computer science (both hardware and software), computers are becoming a necessary instrument in industrial activities. Many software tools for modeling, simulation and optimization of proces...

متن کامل

The comparison of Physical Skill, Cognitive, and Affective Needs of Female Students in Physical Education Curriculum

The purpose of this study was ranking the psycho-motor, cognitive, and affective needs of elementary, junior-high, and high school student. For this purpose, 385 P.E. specialists, 1370 Femalephysical educators, 1509 Femalestudents, and 1385 student mothers from capital cities of 25 provinces in the country, participated in this study. Twelve physical-motor needs, 15 sport-skill needs, 13 cognit...

متن کامل

Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

متن کامل

Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

متن کامل

Measurement of Complexity and Comprehension of a Program Through a Cognitive Approach

The inherent complexity of the software systems creates problems in the software engineering industry. Numerous techniques have been designed to comprehend the fundamental characteristics of software systems. To understand the software, it is necessary to know about the complexity level of the source code. Cognitive informatics perform an important role for better understanding the complexity o...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Int. J. Hum.-Comput. Stud.

دوره 43  شماره 

صفحات  -

تاریخ انتشار 1995